Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
381	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
382	ISO/IEC JTC1/SC22/WG5 N1824 Coarrays in the next Fortran Standard John Reid, JKR Associates, UK April 21, 2010 Abstract Add to Reading List Source URL: www.fortranplus.co.uk Language: English - Date: 2015-05-29 16:20:11 Data types Procedural programming languages Primitive types Array programming languages Fortran Cross-platform software C Pointer Array data type Computing Software engineering Computer programming
383	Microsoft Word - VDE_939_abstract_1_[1] Add to Reading List Source URL: www.2ndchance.info Language: English - Date: 2014-02-04 14:20:27 Allergology Immune system Type 1 hypersensitivity Immunologic tests Atopic dermatitis Atopy Allergy Allergen Immunoglobulin E Medicine Health Immunology
384	A TREC along the Spam Track with SpamBayes Tony Andrew Meyer SpamBayes Development Team Abstract Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:38 Computer-mediated communication SpamBayes Anti-spam techniques Gary Robinson Spam Type I and type II errors Email spam CRM114 Binary classification Spam filtering Computing Internet
385	The mixin phase c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia October 10th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-09 04:22:14 Object-oriented programming Interfaces Type theory Mixin Java programming language Mutator method Trait Method Class Software engineering Computing Computer programming
386	Using ASN.1 to Describe 3GPP Layer 3 Message Formats Objective Systems, Inc., July 2012 Overview Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2012-12-07 00:00:00 Notation Abstract Syntax Notation One Information Object Class CSN.1 Octet Bit array Bit field Enumerated type Integer Computing Data types Software engineering
387	Unparsing types the Scaladoc way c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia January 2nd , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-04 06:52:06 Functional languages Functional programming Java platform Scala Type theory Object-oriented programming Java Eval Symbol Computing Software engineering Computer programming
388	Eilenberg-MacLane Spaces in Homotopy Type Theory Daniel R. Licata ∗ Eric Finster Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2014-05-15 22:28:42 Algebraic topology Homotopy group Homotopy Eilenberg–MacLane space Fundamental group CW complex Freudenthal suspension theorem N-connected Path Topology Homotopy theory Abstract algebra
389	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-11 23:05:35 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
390	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing

UPDATE